/**
*******************************************************************************
* @file                  zynq_gpio.h
* @author                $Author: Xu <> $
*
* Base class for devices connected via SPI.
* Copyright 2016 RobSense. All rights reserved.
*******************************************************************************/
#ifndef _SYSTEM_
#define _SYSTEM_

#ifdef __cplusplus
extern "C" {
#endif
/***************************** Include Files *********************************/
#include "stdio.h"
#include "stdbool.h"
#include "stdint.h"
/************************** Constant Definitions *****************************/

/************************** Variable Definitions ******************************/

/************************** Function Prototypes ******************************/
typedef struct {
	void (*system_init)();
	void (*panic)(const char *errormsg, ...);
	uint32_t (*micros)();
	uint32_t (*millis)();
	uint64_t (*micros64)();
	uint64_t (*millis64)();
}system_t;
void system_constructs(system_t *instance);


#ifdef __cplusplus
}
#endif
#endif
